Reactive Flow and Transport Through Complex Systems

REACTIVE FLOW and TRANSPORT PHENOMENA

Inpainting, the technique of modifying an image in an undetectable form, is as ancient as art itself. The goalsand applications of inpainting are numerous, from the restoration of damaged paintings and photographs to the deletionof selected objects. In this talk, we will introduce a novel algorithm for digital inpainting of still images that attempts2 to replicate the basic techniqu...

Simultaneous Control of Active and Reactive Powers of Vanadium Redox Flow Battery Systems in Flexible Microgrids

This paper discusses the control of flexible microgrids, consisting of a Redox Flow Batteries (RFB) and a new power conditioning system (PCS) for the RFB. Considering the importance of energy storage, this study is essential in power systems that are developed cautiously. RFB is connected to power system by a DC/DC or DC/AC converter to produce a DC voltage. It is very important that this conve...

Selective Transport of Propylene by Silver Ion Complex Through an Immobilized Liquid Membrane

Discontinuous Galerkin methods for coupled flow and reactive transport problems

Primal discontinuous Galerkin methods with interior penalty are proposed to solve the coupled system of flow and reactive transport in porous media, which arises from many applications including miscible displacement and acid-stimulated flow. A cut-off operator is introduced in the discontinuous Galerkin schemes to treat the coupling of flow and transport and the coupling of transport and react...

Model Checking Information Flow in Reactive Systems

Most analysis methods for information flow properties do not consider temporal restrictions. In practice, however, such properties rarely occur statically, but have to consider constraints such as when and under which conditions a variable has to be kept secret. In this paper, we propose a natural integration of information flow properties into linear-time temporal logics (LTL). We add a new mo...